Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
171	Abstract The area of reasoning about action and change is concerned with the formalization of actions and their eects as well as other aspects of inhabited dynamical systems. The representation is typically done in some Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-07 10:05:24 Logic in computer science Science Knowledge representation Epistemology Reasoning Frame problem Event calculus Situation calculus Dynamic logic Mathematical logic Logic Logic programming
172	Semantics for Dynamic Syntactic Epistemic Logics ˚ Thomas Agotnes Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 12:33:36 Formal languages Propositional calculus Predicate logic Logical truth Interpretation First-order logic Substitution Indiscernibles Formation rule Logic Mathematical logic Model theory
173	Microsoft Word - ijfs11-4-r-12-Manuscript_Hu_China_v3_2_.doc Add to Reading List Source URL: www.lsgi.polyu.edu.hk Language: English - Date: 2012-10-08 11:36:56 Multivariate statistics Geostatistics Fuzzy clustering Traffic flow Dynamic time warping Fuzzy logic Unsupervised learning Consensus clustering K-means clustering Statistics Cluster analysis Machine learning
174	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]ACTS OF REQUESTING IN DYNAMIC LOGIC OF Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:26 Deontic logic Epistemic modal logic Modal operator Linguistic modality F Accessibility relation Modal logic Logic Mathematics
175	CALCULATING AND USING SECOND ORDER ACCURATE SOLUTIONS OF DISCRETE TIME DYNAMIC EQUILIBRIUM MODELS JINILL KIM, SUNGHYUN KIM, ERNST SCHAUMBURG, AND CHRISTOPHER A. SIMS A BSTRACT. We describe an algorithm for calculating se Add to Reading List Source URL: federalreserve.gov Language: English - Date: 2003-12-04 10:47:08 Logic Mathematics Metaphilosophy Model theory Metalogic Structure
176	Introduction to Algorithms, 3rd Ed. Add to Reading List Source URL: mitpress.mit.edu Language: English - Date: 2012-05-31 13:24:47 Mathematical optimization Operations research Algorithm Mathematical logic Theoretical computer science Greedy algorithm Selection algorithm Dynamic programming Approximation algorithm Mathematics Applied mathematics Computing
177	CASE STUDY IFTTT Leverages Instart Logic to Accelerate Personalized Collections of Images and Highly Dynamic Content The Challenge Three years after launching in 2010, the IFTTT team was hitting a Add to Reading List Source URL: go.instartlogic.com Language: English - Date: 2014-12-17 16:06:44 Digital media Smartphones Cross-platform software Web 2.0 Application server Software architecture Logic Pro Gmail World Wide Web Software Computing Human–computer interaction
178	Journal of Machine Learning Research[removed]–1653 Submitted 10/05; Published 7/06 Structured Prediction, Dual Extragradient and Bregman Projections Ben Taskar Add to Reading List Source URL: www.jmlr.org Language: English - Date: 2006-07-07 16:03:04 Linear programming Dynamic programming Mathematical optimization Function Combinatory logic Markov random field Mathematics Operations research Applied mathematics
179	CASE STUDY 5th Planet Games Delivers Dynamic, High Quality and Personalized Gaming Experiences to Mobile Devices The Challenge 5th Planet Games had generally happy customers when it came to Add to Reading List Source URL: go.instartlogic.com Language: English - Date: 2014-12-14 21:23:59 Academia Knowledge Mobile game Logic Science
180	PDF Document Add to Reading List Source URL: junior.scholastic.com Language: English - Date: 2014-10-13 12:23:55 Logical consequence Scholastic Corporation Overhead projector Dynamic random-access memory Knowledge Logic Reasoning Inference

UPDATE